On Context Dependence in Modal Constructions
نویسنده
چکیده
This paper investigates a new representation format for dynamic discourse in DRT, where contextual dynamics is modeled in terms of update conditions. This new representation format is motivated by the study of context dependence in modal constructions, in particular by serious problems besetting earlier approaches to modality and modal subordination in DRT. We present an alternative DRT analysis that provides a uniied analysis of relative modality and modal subordination, and which accounts for a wider range of data as regards modal subordination relative to negation and graded modal contexts.
منابع مشابه
On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions
We present a Natural Deduction proof system for the propositional modal μ-calculus, and its formalization in the Calculus of Inductive Constructions. We address several problematic issues, such as the use of higher-order abstract syntax in inductive sets in presence of recursive constructors, the formalization of modal (sequent-style) rules and of context sensitive grammars. The formalization c...
متن کاملFormalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions
We present a Natural Deduction proof system for the propositional modal μ-calculus, and its formalization in the Calculus of Inductive Constructions. We address several problematic issues, such as the use of higher-order abstract syntax in inductive sets in presence of recursive constructors, the encoding of modal (sequent-style) rules and of context sensitive grammars. The formalization can be...
متن کاملA Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories
In this paper, we present a formalization of Kozen’s propositional modal μ-calculus, in the Calculus of Inductive Constructions. We address several problematic issues, such as the use of higher-order abstract syntax in inductive sets in presence of recursive constructors, the encoding of modal (“proof”) rules and of context sensitive grammars. The encoding can be used in the Coq system, providi...
متن کاملA Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories
In this paper, we present a formalization of Kozen’s propositional modal μ-calculus, in the Calculus of Inductive Constructions. We address several problematic issues, such as the use of higher-order abstract syntax in inductive sets in presence of recursive constructors, the encoding of modal (“proof”) rules and of context sensitive grammars. The encoding can be used in the Coq system, providi...
متن کاملThe Impact of Different Frequency Patterns on the Syntactic Production of a 6-year-old EFL Home Learner: A Case Study
This longitudinal study investigated the impact of different Frequency Patterns (FP) on the syntactic production of a six-year-old EFL learner in a home context. Target syntactic constructions were presented using games and plays and were traced for their occurrence patterns in input and output. Following each instruction period, the constructions were measured through immediate and delayed ora...
متن کامل